$\forall$$A$:MsgA. ma{-}frame{-}compatible($A$;)